وجود مدلهای ضعیف حساب در میدانهای بسته حقیقی ناارشمیدسی
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
- author سالم برزگر
- adviser مجتبی منیری
- Number of pages: First 15 pages
- publication year 1378
abstract
هر زیر حلقه گسسته یک میدان مرتب که هر عضو میدان را با خطای کمتر از واحد (به طور معادل با خطای متناهی) تقریب می زند یک جزء صحیح آن میدان نامیده می شود. جزء صحیحهای میدانهای بسته حقیقی بنا به قضیه شفردسون دقیقا مدلهای زیر نظریه ای از حساب پئانو می باشند که استقراء را به فرمولهای خالی از سور محدود می نماید. مدل استاندارد حساب (حلقه اعداد صحیح) یک (و تنها) حزء صحیح هر مدل ارشمیدسی نظریه کامل میدانهای بسته حقیقی (هر میدان بسته حقیق مشمول r) می باشد. در مدلهای ناارشمیدس (اما بنا به قضیه تارسکی لزوما هم ارز مقدماتی با r) برای این نظریه، وجود جزء صحیح و در نتیجه مدل استقرار باز توسط mourgues-ressayre در مقاله مشترک آنها در سال 1993 ثابت شد. در همین سال boughattas در مقاله خود در jsl میدانهای مرتب -p بسته حقیقی، برای ح دلخواه، ساخت که فاقد جزء صحیح هستند. به علاوه او نشان داد که هر میدان مرتب دارای فراتوانی شامل سگ جزء صحیح و در نتیجه مدل استقرار باز است . در این پایان نامه توصیفی از نتایج مذکور ارائه می گردد.
similar resources
میدان های بسته حقیقی و مدل های حساب پئانو
زیرحلقه مرتب گسسته i از میدان بسته حقیقی r یک بخش صحیح برای r گفته می شود هرگاه برای هر x در r عضو i در i موجود باشد که i < x < i+1. در حدود نیم قرن پیش شفردسون نشان داد که یک حلقه مرتب گسسته i یک بخش صحیح برای یک میدان مرتب بسته حقیقی r است اگر و تنها اگر i یک مدل استقرای باز باشد. در مقاله ای که این پایان نامه بر اساس آن نوشته می شود، نشان داده شده است که اگر بخش صحیح i...
ملاحظاتی در حساب دقیق حقیقی
روش معمول و متداول برای نمایش اعداد حقیقی استفاده از سیستم ممیز شناور است . انجام محاسبات در این سیستم می تواند باعث انباشتگی خطای ناشی از گردکردن و ایجاد یک خطای بزرگ در نتیجه نهایی و با توجه به این که هیچ قضیه ای برای محدود کردن مقدار این خطا در حالت کلی وجود ندارد، مساله مذکور یک مشکل اساسی برای این سیستم به شمار می رود. در حساب دقیق حقیقی، یک مدل برای نمایش اعداد و انجام محاسبات بدون گردکرد...
15 صفحه اولاثرcasimirدرحضور میدانهای گرانشی ضعیف
تاثیر حضر میدان گرانشی ضعیف بر دانسیته انرژی خلاء کازیمیر مرد بررسی قرار گرفت. تا تقریب مرتبه دوم اثر این نیرو مورد ارزیابی قرار گرفت.
بررسی مدلهای تأخیر در میدانهای شهری
شبکهی راههای شهری شامل خیابانها و تقاطعها است و معمولاً ظرفیت و کارایی شبکهی راهها توسط تقاطعهای هم سطح کنترل میشوند. انتخاب نوع مناسب تقاطع با توجه به کارایی و ایمنی صورت میگیرد، به این ترتیب در هر منطقه با توجه به شرایط محیطی، ترافیکی و ... نوع خاصی از تقاطع مناسب است. یکی از انواع تقاطعهای هم سطح، میدان بدون چراغ است که معمولاً در شرایط ترافیک سبک تا متوسط از نظر کارایی و ایمنی دارا...
15 صفحه اولمطالعه مدلهای انزژی تاریک مبتنی بر میدانهای اسکالر در کیهانشناسی
در این پایان نامه ما به مطالعه بعضی از مدلهای پدیده شناختی برای انرژی تاریک می پردازیم. رفتار یک میدان نرده ای چاملونی که به شکل غیر کمینال با انرژی تاریک جفت گردیده است در یک فضا-زمان frw در حالت k=0 مورد بررسی قرار می گیرد. کیهانشناسی برانس-دیکی چاملون در چارچوب مدل های frw در حالت k=0 و بیانکی نوع i را مورد مطالعه قرار می دهیم. با انتخاب یک جایگزینی مناسب برای میدان های نرده ای برانس-دیکی تح...
محاسبه پارامترهای ضریب فعالیت در مدلهای ترمودینامیکی با استفاده ازدمای اشتعال محفظه بسته
در تحقیق حاضر دمای اشتعال ترکیبهای دوجزیی اتانول+اکتان نرمال،1-پروپانول+اکتان نرمال،1-پروپانول+دکان نرمال و همچنین دکان نرمال+اکتان نرمال در فشار اتمسفریک اندازه گیری شد. با استفاده از دماهای اشتعال آزمایشگاهی، پارامترهای برهمکنش دوتایی ترکیبهای یادشده در مدلهای ترمودینامیکی Wilson,NRTLوUNIQUAC محاسبه شد. همچنین غلظت های تعادلی بخار- مایع برای ترکیب دوجزئی اتانول+ اکتان نرمال با استفاده ا...
full textMy Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023